#!/bin/sh
d="`dirname $0`"
PYTHONPATH="$d/.." python -S "$d/tchecker.py" "$@"
